# SPDX-License-Identifier: GPL-2.0-only
dtb-$(CONFIG_SOC_VCOREIII)	+= \
	jaguar2_pcb110.dtb \
	jaguar2_pcb111.dtb \
	jaguar2_pcb118.dtb \
	luton_pcb091.dtb \
	ocelot_pcb120.dtb \
	ocelot_pcb123.dtb \
	serval_pcb105.dtb \
	serval_pcb106.dtb
